You are here: irt.org | FOLDOC | graph rewriting system
An extension of a term rewriting system which uses graph reduction on terms represented by directed graphs to avoid duplication of work by sharing expressions.
Nearby terms: Graph-Oriented Object Database « graph plotter « graph reduction « graph rewriting system » GRAPPLE » GRAS » GRASP/Ada
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL